Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
411	Details INLA workshop, Montpellier, June 2014 Integrated nested Laplace approximation (INLA) facilitates the fitting of a large range of complex statistical models by dramatically reducing computation time. This one-day Add to Reading List Source URL: isec2014.sciencesconf.org Language: English - Date: 2013-09-22 10:51:41 Point process Economic model Model
412	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:16 Formal methods Concurrency Software engineering Computer science Algebraic Petri nets Petri State diagram Petri Net Markup Language TAPAAL Model Checker Petri nets Models of computation Diagrams
413	Summary and Disposition of Comments for FCD15909 Date: 17 May 2001 From: Editor of Project[removed] Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:20 Models of computation Concurrency Diagrams Petri nets Algebraic Petri nets Multiset SQL ALGOL 68 Model theory Software engineering Computing Programming language theory
414	IFC Inside: A General Approach to Retrofitting Languages with Dynamic Information Flow Control Stefan Heule Deian Stefan Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-03-02 05:57:05 Model theory Combinatorics on words Theoretical computer science Mathematical logic Models of computation Interpretation Structure String Lambda calculus Mathematics Formal languages Logic
415	Evolving Policy Geometry for Scalable Multiagent Learning In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS[removed]David B. D’Ambrosio, Joel Lehman, Sebastian Risi, a Add to Reading List Source URL: eplex.cs.ucf.edu Language: English - Date: 2010-01-27 11:53:42 Artificial intelligence Science Evolutionary computation Genetic algorithms Multi-agent systems HyperNEAT Agent-based model Compositional pattern-producing network Neuroevolution Neural networks Machine learning Evolutionary algorithms
416	IMMUNOLOGICAL COMPUTATION: THEORY AND APPLICATIONS AUTHORS/AFFILIATIONS: Dipankar Dasgupta, University of Memphis, Tennessee, USA Fernando Nino, National University of Columbia, Bogota Key Features Add to Reading List Source URL: ais.cs.memphis.edu Language: English - Date: 2008-12-18 09:46:03 Anatomy Clonal Selection Algorithm Clonal Computational model Immune system Computational intelligence Economic model ACT-R Artificial immune system Immunology Medicine Artificial intelligence
417	UNIVERSITY OF CALIFORNIA RIVERSIDE Distributed Symbolic Reachability Analysis A Dissertation submitted in partial satisfaction Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2010-04-18 20:35:33 Applied mathematics Concurrency Models of computation Model checking Graph connectivity Petri net Hash table Reachability Algorithm Theoretical computer science Computing Complexity classes
418	©Springer, 2013. This is the author’s version of the work. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purpose or for creating new Add to Reading List Source URL: mobile.aau.at Language: English - Date: 2013-05-09 07:03:38 Systems theory Applied mathematics Self-organization Sociocultural evolution Agent-based model Evolutionary computation Robotics Genetic programming Multi-agent system Cybernetics Science Systems science
419	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Lambda calculus Models of computation Formal methods Computability theory Model theory First-order logic Calculus of constructions Heap Function Mathematical logic Mathematics Theoretical computer science
420	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science